Bob is red. Dave is cold. Dave is furry. Dave is quiet. Dave is white. Fiona is big. Fiona is red. Fiona is smart. Harry is cold. Harry is furry. Harry is red. Harry is white. Red people are quiet.
Bob is red.
("Bob" "is" "red" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is white.
("Dave" "is" "white" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is white.
("Harry" "is" "white" "+")
Red people are quiet.
((("someone" "is" "red" "+")) -> ("someone" "is" "quiet" "+"))
Harry is cold.
True
1
proof
[(triple9)]
("Harry" "is" "cold" "+")
triple9
Fiona is not smart.
False
1
inv-proof
[(triple8)]
("Fiona" "is" "smart" "-")
triple8
Harry is quiet.
True
2
proof
[(((triple11) -> rule1))]
("Harry" "is" "quiet" "+")
((triple11) -> (rule1 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Fiona is not quiet.
False
2
inv-proof
[(((triple7) -> rule1))]
("Fiona" "is" "quiet" "-")
((triple7) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Bob is not white.
Unknown
inv-random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "-")
Bob is furry.
Unknown
random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "+")
Fiona is not cold.
Unknown
inv-random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
@0: Bob is red.[(triple1)] Dave is cold.[(triple2)] Dave is furry.[(triple3)] Dave is quiet.[(triple4)] Dave is white.[(triple5)] Fiona is big.[(triple6)] Fiona is red.[(triple7)] Fiona is smart.[(triple8)] Harry is cold.[(triple9)] Harry is furry.[(triple10)] Harry is red.[(triple11)] Harry is white.[(triple12)] @1: Bob is quiet.[(((triple1) -> rule1))] Fiona is quiet.[(((triple7) -> rule1))] Harry is quiet.[(((triple11) -> rule1))]
Bob is red.
("Bob" "is" "red" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple2
Dave is furry.
("Dave" "is" "furry" "+")
triple3
Dave is quiet.
("Dave" "is" "quiet" "+")
triple4
Dave is white.
("Dave" "is" "white" "+")
triple5
Fiona is big.
("Fiona" "is" "big" "+")
triple6
Fiona is red.
("Fiona" "is" "red" "+")
triple7
Fiona is smart.
("Fiona" "is" "smart" "+")
triple8
Harry is cold.
("Harry" "is" "cold" "+")
triple9
Harry is furry.
("Harry" "is" "furry" "+")
triple10
Harry is red.
("Harry" "is" "red" "+")
triple11
Harry is white.
("Harry" "is" "white" "+")
triple12
Bob is quiet.
("Bob" "is" "quiet" "+")
((triple1) -> (rule1 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple7) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
((triple11) -> (rule1 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1