Charlie is blue. Charlie is green. Charlie is quiet. Charlie is smart. Charlie is white. Erin is blue. Erin is round. Erin is white. Fiona is nice. Fiona is quiet. Fiona is white. Gary is green. Gary is nice. Gary is quiet. Gary is smart. Gary is white. If someone is round and blue then they are green.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
If someone is round and blue then they are green.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
Erin is white.
True
1
proof
[(triple8)]
("Erin" "is" "white" "+")
triple8
Fiona is not nice.
False
1
inv-proof
[(triple9)]
("Fiona" "is" "nice" "-")
triple9
Erin is green.
True
3
proof
[(((triple7 triple6) -> rule1))]
("Erin" "is" "green" "+")
((triple7 triple6) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is not green.
False
3
inv-proof
[(((triple7 triple6) -> rule1))]
("Erin" "is" "green" "-")
((triple7 triple6) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Fiona is not green.
Unknown
inv-rconc
[@1: Fiona is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "green" "-")
Erin is smart.
Unknown
random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "+")
Charlie is not nice.
Unknown
inv-random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
@0: Charlie is blue.[(triple1)] Charlie is green.[(triple2)] Charlie is quiet.[(triple3)] Charlie is smart.[(triple4)] Charlie is white.[(triple5)] Erin is blue.[(triple6)] Erin is round.[(triple7)] Erin is white.[(triple8)] Fiona is nice.[(triple9)] Fiona is quiet.[(triple10)] Fiona is white.[(triple11)] Gary is green.[(triple12)] Gary is nice.[(triple13)] Gary is quiet.[(triple14)] Gary is smart.[(triple15)] Gary is white.[(triple16)] @1: Erin is green.[(((triple7 triple6) -> rule1))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple3
Charlie is smart.
("Charlie" "is" "smart" "+")
triple4
Charlie is white.
("Charlie" "is" "white" "+")
triple5
Erin is blue.
("Erin" "is" "blue" "+")
triple6
Erin is round.
("Erin" "is" "round" "+")
triple7
Erin is white.
("Erin" "is" "white" "+")
triple8
Fiona is nice.
("Fiona" "is" "nice" "+")
triple9
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple10
Fiona is white.
("Fiona" "is" "white" "+")
triple11
Gary is green.
("Gary" "is" "green" "+")
triple12
Gary is nice.
("Gary" "is" "nice" "+")
triple13
Gary is quiet.
("Gary" "is" "quiet" "+")
triple14
Gary is smart.
("Gary" "is" "smart" "+")
triple15
Gary is white.
("Gary" "is" "white" "+")
triple16
Erin is green.
("Erin" "is" "green" "+")
((triple7 triple6) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1