Charlie is white. Dave is not young. Erin is quiet. Fiona is round. If someone is white then they are blue. Round, rough people are big. All quiet people are big. All rough, blue people are quiet. All young people are quiet. If someone is rough then they are quiet. If Fiona is rough and Fiona is quiet then Fiona is round. If someone is white and not blue then they are young.
Charlie is white.
("Charlie" "is" "white" "+")
Dave is not young.
("Dave" "is" "young" "-")
Erin is quiet.
("Erin" "is" "quiet" "+")
Fiona is round.
("Fiona" "is" "round" "+")
If someone is white then they are blue.
((("someone" "is" "white" "+")) -> ("someone" "is" "blue" "+"))
Round, rough people are big.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
All quiet people are big.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "big" "+"))
All rough, blue people are quiet.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "quiet" "+"))
All young people are quiet.
((("someone" "is" "young" "+")) -> ("someone" "is" "quiet" "+"))
If someone is rough then they are quiet.
((("someone" "is" "rough" "+")) -> ("someone" "is" "quiet" "+"))
If Fiona is rough and Fiona is quiet then Fiona is round.
((("Fiona" "is" "rough" "+") ("Fiona" "is" "quiet" "+")) -> ("Fiona" "is" "round" "+"))
If someone is white and not blue then they are young.
((("someone" "is" "white" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "young" "+"))
Dave is not young.
True
1
proof
[(triple2)]
("Dave" "is" "young" "-")
triple2
Erin is not quiet.
False
1
inv-proof
[(triple3)]
("Erin" "is" "quiet" "-")
triple3
Charlie is not quiet.
Unknown
inv-rconc
[@2: Charlie is quiet.[CWA. Example of deepest failure = (rule5 <- rule8 <- FAIL)]]
("Charlie" "is" "quiet" "-")
Dave is white.
Unknown
random
[@0: Dave is white.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "white" "+")
@0: Charlie is white.[(triple1)] Dave is not young.[(triple2)] Erin is quiet.[(triple3)] Fiona is round.[(triple4)] @1: Charlie is blue.[(((triple1) -> rule1))] Erin is big.[(((triple3) -> rule3))]
Charlie is white.
("Charlie" "is" "white" "+")
triple1
Dave is not young.
("Dave" "is" "young" "-")
triple2
Erin is quiet.
("Erin" "is" "quiet" "+")
triple3
Fiona is round.
("Fiona" "is" "round" "+")
triple4
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple1) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
((triple3) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1