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