Bob is blue. Bob is kind. Bob is nice. Bob is red. Bob is round. Bob is white. Erin is blue. Erin is nice. Erin is quiet. Fiona is blue. Fiona is quiet. Fiona is round. If Erin is blue and Erin is quiet then Erin is red. All quiet, red people are round.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is white.
("Bob" "is" "white" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is round.
("Fiona" "is" "round" "+")
If Erin is blue and Erin is quiet then Erin is red.
((("Erin" "is" "blue" "+") ("Erin" "is" "quiet" "+")) -> ("Erin" "is" "red" "+"))
All quiet, red people are round.
((("someone" "is" "quiet" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
Bob is round.
True
1
proof
[(triple5)]
("Bob" "is" "round" "+")
triple5
Fiona is not blue.
False
1
inv-proof
[(triple10)]
("Fiona" "is" "blue" "-")
triple10
Erin is red.
True
3
proof
[(((triple7 triple9) -> rule1))]
("Erin" "is" "red" "+")
((triple7 triple9) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is not red.
False
3
inv-proof
[(((triple7 triple9) -> rule1))]
("Erin" "is" "red" "-")
((triple7 triple9) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is round.
True
5
proof
[(((triple9 ((triple7 triple9) -> rule1)) -> rule2))]
("Erin" "is" "round" "+")
((triple9 ((triple7 triple9) -> (rule1 % int2))) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is not round.
False
5
inv-proof
[(((triple9 ((triple7 triple9) -> rule1)) -> rule2))]
("Erin" "is" "round" "-")
((triple9 ((triple7 triple9) -> (rule1 % int2))) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Fiona is not nice.
Unknown
inv-random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "-")
Fiona is red.
Unknown
random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "+")
Fiona is not white.
Unknown
inv-random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "-")
Erin is kind.
Unknown
random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "+")
Bob is not quiet.
Unknown
inv-random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "-")
Erin is white.
Unknown
random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "+")
@0: Bob is blue.[(triple1)] Bob is kind.[(triple2)] Bob is nice.[(triple3)] Bob is red.[(triple4)] Bob is round.[(triple5)] Bob is white.[(triple6)] Erin is blue.[(triple7)] Erin is nice.[(triple8)] Erin is quiet.[(triple9)] Fiona is blue.[(triple10)] Fiona is quiet.[(triple11)] Fiona is round.[(triple12)] @1: Erin is red.[(((triple7 triple9) -> rule1))] @2: Erin is round.[(((triple9 ((triple7 triple9) -> rule1)) -> rule2))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple4
Bob is round.
("Bob" "is" "round" "+")
triple5
Bob is white.
("Bob" "is" "white" "+")
triple6
Erin is blue.
("Erin" "is" "blue" "+")
triple7
Erin is nice.
("Erin" "is" "nice" "+")
triple8
Erin is quiet.
("Erin" "is" "quiet" "+")
triple9
Fiona is blue.
("Fiona" "is" "blue" "+")
triple10
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple11
Fiona is round.
("Fiona" "is" "round" "+")
triple12
Erin is red.
("Erin" "is" "red" "+")
((triple7 triple9) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
((triple9 ((triple7 triple9) -> (rule1 % int2))) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2