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