Anne is big. Anne is round. Anne is white. Bob is big. Bob is furry. Bob is red. Bob is round. Bob is smart. Bob is white. Charlie is big. Charlie is furry. Charlie is red. Charlie is smart. Charlie is white. Dave is white. All round things are furry. All round, furry things are smart.
Anne is big.
("Anne" "is" "big" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is white.
("Anne" "is" "white" "+")
Bob is big.
("Bob" "is" "big" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is white.
("Bob" "is" "white" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Dave is white.
("Dave" "is" "white" "+")
All round things are furry.
((("something" "is" "round" "+")) -> ("something" "is" "furry" "+"))
All round, furry things are smart.
((("something" "is" "round" "+") ("something" "is" "furry" "+")) -> ("something" "is" "smart" "+"))
Charlie is smart.
True
1
proof
[(triple13)]
("Charlie" "is" "smart" "+")
triple13
Bob is not white.
False
1
inv-proof
[(triple9)]
("Bob" "is" "white" "-")
triple9
Anne is furry.
True
2
proof
[(((triple2) -> rule1))]
("Anne" "is" "furry" "+")
((triple2) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is not furry.
False
2
inv-proof
[(((triple2) -> rule1))]
("Anne" "is" "furry" "-")
((triple2) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is smart.
True
4
proof
[(((triple2 ((triple2) -> rule1)) -> rule2))]
("Anne" "is" "smart" "+")
((triple2 ((triple2) -> (rule1 % int2))) -> (rule2 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is not smart.
False
4
inv-proof
[(((triple2 ((triple2) -> rule1)) -> rule2))]
("Anne" "is" "smart" "-")
((triple2 ((triple2) -> (rule1 % int2))) -> (rule2 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Dave is not furry.
Unknown
inv-rconc
[@1: Dave is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "furry" "-")
Dave is smart.
Unknown
rconc
[@1: Dave is smart.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "smart" "+")
Charlie is not rough.
Unknown
inv-random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
Dave is not big.
Unknown
inv-random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
@0: Anne is big.[(triple1)] Anne is round.[(triple2)] Anne is white.[(triple3)] Bob is big.[(triple4)] Bob is furry.[(triple5 OR ((triple7) -> rule1))] Bob is red.[(triple6)] Bob is round.[(triple7)] Bob is smart.[(triple8 OR ((triple7 triple5) -> rule2) OR ((triple7 ((triple7) -> rule1)) -> rule2))] Bob is white.[(triple9)] Charlie is big.[(triple10)] Charlie is furry.[(triple11)] Charlie is red.[(triple12)] Charlie is smart.[(triple13)] Charlie is white.[(triple14)] Dave is white.[(triple15)] @1: Anne is furry.[(((triple2) -> rule1))] @2: Anne is smart.[(((triple2 ((triple2) -> rule1)) -> rule2))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is round.
("Anne" "is" "round" "+")
triple2
Anne is white.
("Anne" "is" "white" "+")
triple3
Bob is big.
("Bob" "is" "big" "+")
triple4
Bob is furry.
("Bob" "is" "furry" "+")
triple5
((triple7) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
triple6
Bob is round.
("Bob" "is" "round" "+")
triple7
Bob is smart.
("Bob" "is" "smart" "+")
triple8
((triple7 triple5) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
((triple7 ((triple7) -> (rule1 % int2))) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
triple9
Charlie is big.
("Charlie" "is" "big" "+")
triple10
Charlie is furry.
("Charlie" "is" "furry" "+")
triple11
Charlie is red.
("Charlie" "is" "red" "+")
triple12
Charlie is smart.
("Charlie" "is" "smart" "+")
triple13
Charlie is white.
("Charlie" "is" "white" "+")
triple14
Dave is white.
("Dave" "is" "white" "+")
triple15
Anne is furry.
("Anne" "is" "furry" "+")
((triple2) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
((triple2 ((triple2) -> (rule1 % int2))) -> (rule2 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2