Anne is round. Bob is big. Erin is cold. Harry is quiet. Quiet people are young. All white people are cold. All blue, round people are young. Young, quiet people are round. White, young people are big. Quiet people are young.
Anne is round.
("Anne" "is" "round" "+")
Bob is big.
("Bob" "is" "big" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Quiet people are young.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "young" "+"))
All white people are cold.
((("someone" "is" "white" "+")) -> ("someone" "is" "cold" "+"))
All blue, round people are young.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
Young, quiet people are round.
((("someone" "is" "young" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "round" "+"))
White, young people are big.
((("someone" "is" "white" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
Quiet people are young.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "young" "+"))
Erin is cold.
True
1
proof
[(triple3)]
("Erin" "is" "cold" "+")
triple3
Anne is not round.
False
1
inv-proof
[(triple1)]
("Anne" "is" "round" "-")
triple1
Harry is young.
True
2
proof
[(((triple4) -> rule1) OR ((triple4) -> rule6))]
("Harry" "is" "young" "+")
((triple4) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
((triple4) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is not young.
False
2
inv-proof
[(((triple4) -> rule1) OR ((triple4) -> rule6))]
("Harry" "is" "young" "-")
((triple4) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
((triple4) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is round.
True
4
proof
[(((((triple4) -> rule1) triple4) -> rule4) OR ((((triple4) -> rule6) triple4) -> rule4))]
("Harry" "is" "round" "+")
((((triple4) -> (rule1 % int2)) triple4) -> (rule4 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
((((triple4) -> (rule6 % int2)) triple4) -> (rule4 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is not round.
False
4
inv-proof
[(((((triple4) -> rule1) triple4) -> rule4) OR ((((triple4) -> rule6) triple4) -> rule4))]
("Harry" "is" "round" "-")
((((triple4) -> (rule1 % int2)) triple4) -> (rule4 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
((((triple4) -> (rule6 % int2)) triple4) -> (rule4 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Anne is not big.
Unknown
inv-rconc
[@1: Anne is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Anne" "is" "big" "-")
Erin is young.
Unknown
rconc
[@1: Erin is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "young" "+")
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "big" "-")
Erin is blue.
Unknown
random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "+")
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Anne is round.[(triple1)] Bob is big.[(triple2)] Erin is cold.[(triple3)] Harry is quiet.[(triple4)] @1: Harry is young.[(((triple4) -> rule1) OR ((triple4) -> rule6))] @2: Harry is round.[(((((triple4) -> rule1) triple4) -> rule4) OR ((((triple4) -> rule6) triple4) -> rule4))]
Anne is round.
("Anne" "is" "round" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple2
Erin is cold.
("Erin" "is" "cold" "+")
triple3
Harry is quiet.
("Harry" "is" "quiet" "+")
triple4
Harry is young.
("Harry" "is" "young" "+")
((triple4) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
((triple4) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((((triple4) -> (rule1 % int2)) triple4) -> (rule4 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
((((triple4) -> (rule6 % int2)) triple4) -> (rule4 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2