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