Anne is round. Anne is white. Bob is rough. Bob is smart. Bob is white. Erin is quiet. Erin is round. Erin is smart. Gary is big. Gary is round. All smart things are big. If Gary is young and Gary is quiet then Gary is round. All big, white things are quiet. If Erin is rough then Erin is round. If Gary is round then Gary is white. If Anne is rough then Anne is smart. If something is white and big then it is young. All young things are smart.
Anne is round.
("Anne" "is" "round" "+")
Anne is white.
("Anne" "is" "white" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is white.
("Bob" "is" "white" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is round.
("Gary" "is" "round" "+")
All smart things are big.
((("something" "is" "smart" "+")) -> ("something" "is" "big" "+"))
If Gary is young and Gary is quiet then Gary is round.
((("Gary" "is" "young" "+") ("Gary" "is" "quiet" "+")) -> ("Gary" "is" "round" "+"))
All big, white things are quiet.
((("something" "is" "big" "+") ("something" "is" "white" "+")) -> ("something" "is" "quiet" "+"))
If Erin is rough then Erin is round.
((("Erin" "is" "rough" "+")) -> ("Erin" "is" "round" "+"))
If Gary is round then Gary is white.
((("Gary" "is" "round" "+")) -> ("Gary" "is" "white" "+"))
If Anne is rough then Anne is smart.
((("Anne" "is" "rough" "+")) -> ("Anne" "is" "smart" "+"))
If something is white and big then it is young.
((("something" "is" "white" "+") ("something" "is" "big" "+")) -> ("something" "is" "young" "+"))
All young things are smart.
((("something" "is" "young" "+")) -> ("something" "is" "smart" "+"))
Bob is white.
True
1
proof
[(triple5)]
("Bob" "is" "white" "+")
triple5
Anne is not round.
False
1
inv-proof
[(triple1)]
("Anne" "is" "round" "-")
triple1
Erin is not young.
Unknown
inv-rconc
[@1: Erin is young.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Erin" "is" "young" "-")
Erin is white.
Unknown
random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "+")
@0: Anne is round.[(triple1)] Anne is white.[(triple2)] Bob is rough.[(triple3)] Bob is smart.[(triple4)] Bob is white.[(triple5)] Erin is quiet.[(triple6)] Erin is round.[(triple7)] Erin is smart.[(triple8)] Gary is big.[(triple9)] Gary is round.[(triple10)] @1: Bob is big.[(((triple4) -> rule1))] Erin is big.[(((triple8) -> rule1))] Gary is white.[(((triple10) -> rule5))] @2: Bob is quiet.[(((((triple4) -> rule1) triple5) -> rule3))] Bob is young.[(((triple5 ((triple4) -> rule1)) -> rule7))] Gary is quiet.[(((triple9 ((triple10) -> rule5)) -> rule3))] Gary is young.[(((((triple10) -> rule5) triple9) -> rule7))] @3: Gary is smart.[(((((((triple10) -> rule5) triple9) -> rule7)) -> rule8))]
Anne is round.
("Anne" "is" "round" "+")
triple1
Anne is white.
("Anne" "is" "white" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Bob is smart.
("Bob" "is" "smart" "+")
triple4
Bob is white.
("Bob" "is" "white" "+")
triple5
Erin is quiet.
("Erin" "is" "quiet" "+")
triple6
Erin is round.
("Erin" "is" "round" "+")
triple7
Erin is smart.
("Erin" "is" "smart" "+")
triple8
Gary is big.
("Gary" "is" "big" "+")
triple9
Gary is round.
("Gary" "is" "round" "+")
triple10
Bob is big.
("Bob" "is" "big" "+")
((triple4) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
((triple8) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
((triple10) -> (rule5 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
((((triple4) -> (rule1 % int2)) triple5) -> (rule3 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
((triple5 ((triple4) -> (rule1 % int2))) -> (rule7 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
((triple9 ((triple10) -> (rule5 % int2))) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
((((triple10) -> (rule5 % int2)) triple9) -> (rule7 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
((((((triple10) -> (rule5 % int3)) triple9) -> (rule7 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3