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