Bob is quiet. Bob is white. Bob is young. Charlie is not cold. Charlie is not furry. Charlie is not quiet. Charlie is round. Charlie is not white. Charlie is young. Erin is furry. Erin is quiet. Erin is white. Gary is quiet. Gary is smart. Gary is not white. Gary is young. If Gary is quiet then Gary is young. All white, cold people are young. If someone is quiet then they are young. If someone is quiet and young then they are cold. If someone is furry and not young then they are smart. Furry people are not smart.
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is white.
("Bob" "is" "white" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is not cold.
("Charlie" "is" "cold" "-")
Charlie is not furry.
("Charlie" "is" "furry" "-")
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is not white.
("Charlie" "is" "white" "-")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is white.
("Erin" "is" "white" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is not white.
("Gary" "is" "white" "-")
Gary is young.
("Gary" "is" "young" "+")
If Gary is quiet then Gary is young.
((("Gary" "is" "quiet" "+")) -> ("Gary" "is" "young" "+"))
All white, cold people are young.
((("someone" "is" "white" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is quiet then they are young.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "young" "+"))
If someone is quiet and young then they are cold.
((("someone" "is" "quiet" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If someone is furry and not young then they are smart.
((("someone" "is" "furry" "+") ("someone" "is" "young" "~")) -> ("someone" "is" "smart" "+"))
Furry people are not smart.
((("someone" "is" "furry" "+")) -> ("someone" "is" "smart" "-"))
Bob is white.
True
1
proof
[(triple2)]
("Bob" "is" "white" "+")
triple2
Charlie is not round.
False
1
inv-proof
[(triple7)]
("Charlie" "is" "round" "-")
triple7
Erin is young.
True
2
proof
[(((triple11) -> rule3))]
("Erin" "is" "young" "+")
((triple11) -> (rule3 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is smart.
False
2
inv-proof
[(((triple10) -> rule6))]
("Erin" "is" "smart" "+")
((triple10) -> (rule6 % int1))
Erin is not smart.
("Erin" "is" "smart" "-")
int1
Erin is cold.
True
4
proof
[(((triple11 ((triple11) -> rule3)) -> rule4))]
("Erin" "is" "cold" "+")
((triple11 ((triple11) -> (rule3 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is not cold.
False
4
inv-proof
[(((triple11 ((triple11) -> rule3)) -> rule4))]
("Erin" "is" "cold" "-")
((triple11 ((triple11) -> (rule3 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Bob is not smart.
Unknown
inv-rconc
[@1: Bob is smart.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "smart" "-")
Charlie is smart.
Unknown
rconc
[@1: Charlie is smart.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "smart" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Gary is furry.
Unknown
random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "+")
Bob is not round.
Unknown
inv-random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
@0: Bob is quiet.[(triple1)] Bob is white.[(triple2)] Bob is young.[(triple3 OR ((triple1) -> rule3))] Charlie is not cold.[(triple4)] Charlie is not furry.[(triple5)] Charlie is not quiet.[(triple6)] Charlie is not white.[(triple8)] Charlie is round.[(triple7)] Charlie is young.[(triple9)] Erin is furry.[(triple10)] Erin is quiet.[(triple11)] Erin is white.[(triple12)] Gary is not white.[(triple15)] Gary is quiet.[(triple13)] Gary is smart.[(triple14)] Gary is young.[(triple16 OR ((triple13) -> rule1) OR ((triple13) -> rule3))] @1: Bob is cold.[(((triple1 triple3) -> rule4) OR ((triple1 ((triple1) -> rule3)) -> rule4))] Erin is not smart.[(((triple10) -> rule6))] Erin is young.[(((triple11) -> rule3))] Gary is cold.[(((triple13 triple16) -> rule4) OR ((triple13 ((triple13) -> rule1)) -> rule4) OR ((triple13 ((triple13) -> rule3)) -> rule4))] @2: Erin is cold.[(((triple11 ((triple11) -> rule3)) -> rule4))]
Bob is quiet.
("Bob" "is" "quiet" "+")
triple1
Bob is white.
("Bob" "is" "white" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple3
((triple1) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Charlie is not cold.
("Charlie" "is" "cold" "-")
triple4
Charlie is not furry.
("Charlie" "is" "furry" "-")
triple5
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
triple6
Charlie is not white.
("Charlie" "is" "white" "-")
triple8
Charlie is round.
("Charlie" "is" "round" "+")
triple7
Charlie is young.
("Charlie" "is" "young" "+")
triple9
Erin is furry.
("Erin" "is" "furry" "+")
triple10
Erin is quiet.
("Erin" "is" "quiet" "+")
triple11
Erin is white.
("Erin" "is" "white" "+")
triple12
Gary is not white.
("Gary" "is" "white" "-")
triple15
Gary is quiet.
("Gary" "is" "quiet" "+")
triple13
Gary is smart.
("Gary" "is" "smart" "+")
triple14
Gary is young.
("Gary" "is" "young" "+")
triple16
((triple13) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((triple13) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
((triple1 triple3) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
((triple1 ((triple1) -> (rule3 % int2))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Erin is not smart.
("Erin" "is" "smart" "-")
((triple10) -> (rule6 % int1))
Erin is not smart.
("Erin" "is" "smart" "-")
int1
Erin is young.
("Erin" "is" "young" "+")
((triple11) -> (rule3 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((triple13 triple16) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
((triple13 ((triple13) -> (rule1 % int2))) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
((triple13 ((triple13) -> (rule3 % int2))) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
((triple11 ((triple11) -> (rule3 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2