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