Dave is blue. Dave is green. Dave is nice. Dave is red. Fiona is blue. Fiona is furry. Fiona is green. Fiona is kind. Fiona is red. Fiona is white. Harry is blue. Harry is furry. Harry is green. Harry is nice. Harry is red. Harry is white. Nice, green things are white.
Dave is blue.
("Dave" "is" "blue" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is red.
("Dave" "is" "red" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is white.
("Harry" "is" "white" "+")
Nice, green things are white.
((("something" "is" "nice" "+") ("something" "is" "green" "+")) -> ("something" "is" "white" "+"))
Fiona is furry.
True
1
proof
[(triple6)]
("Fiona" "is" "furry" "+")
triple6
Fiona is not furry.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "furry" "-")
triple6
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Dave is furry.
Unknown
random
[@0: Dave is furry.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "furry" "+")
@0: Dave is blue.[(triple1)] Dave is green.[(triple2)] Dave is nice.[(triple3)] Dave is red.[(triple4)] Fiona is blue.[(triple5)] Fiona is furry.[(triple6)] Fiona is green.[(triple7)] Fiona is kind.[(triple8)] Fiona is red.[(triple9)] Fiona is white.[(triple10)] Harry is blue.[(triple11)] Harry is furry.[(triple12)] Harry is green.[(triple13)] Harry is nice.[(triple14)] Harry is red.[(triple15)] Harry is white.[(triple16 OR ((triple14 triple13) -> rule1))] @1: Dave is white.[(((triple3 triple2) -> rule1))]
Dave is blue.
("Dave" "is" "blue" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple2
Dave is nice.
("Dave" "is" "nice" "+")
triple3
Dave is red.
("Dave" "is" "red" "+")
triple4
Fiona is blue.
("Fiona" "is" "blue" "+")
triple5
Fiona is furry.
("Fiona" "is" "furry" "+")
triple6
Fiona is green.
("Fiona" "is" "green" "+")
triple7
Fiona is kind.
("Fiona" "is" "kind" "+")
triple8
Fiona is red.
("Fiona" "is" "red" "+")
triple9
Fiona is white.
("Fiona" "is" "white" "+")
triple10
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Harry is furry.
("Harry" "is" "furry" "+")
triple12
Harry is green.
("Harry" "is" "green" "+")
triple13
Harry is nice.
("Harry" "is" "nice" "+")
triple14
Harry is red.
("Harry" "is" "red" "+")
triple15
Harry is white.
("Harry" "is" "white" "+")
triple16
((triple14 triple13) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
((triple3 triple2) -> (rule1 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1