Bob is young. Charlie is not big. Fiona is round. All round people are cold. Young people are not round. If someone is kind then they are not white. If Fiona is cold then Fiona is not quiet. If Charlie is white then Charlie is cold. If someone is round and kind then they are young. If Charlie is white and Charlie is kind then Charlie is not round. If Bob is round then Bob is not big.
Bob is young.
("Bob" "is" "young" "+")
Charlie is not big.
("Charlie" "is" "big" "-")
Fiona is round.
("Fiona" "is" "round" "+")
All round people are cold.
((("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
Young people are not round.
((("someone" "is" "young" "+")) -> ("someone" "is" "round" "-"))
If someone is kind then they are not white.
((("someone" "is" "kind" "+")) -> ("someone" "is" "white" "-"))
If Fiona is cold then Fiona is not quiet.
((("Fiona" "is" "cold" "+")) -> ("Fiona" "is" "quiet" "-"))
If Charlie is white then Charlie is cold.
((("Charlie" "is" "white" "+")) -> ("Charlie" "is" "cold" "+"))
If someone is round and kind then they are young.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If Charlie is white and Charlie is kind then Charlie is not round.
((("Charlie" "is" "white" "+") ("Charlie" "is" "kind" "+")) -> ("Charlie" "is" "round" "-"))
If Bob is round then Bob is not big.
((("Bob" "is" "round" "+")) -> ("Bob" "is" "big" "-"))
Charlie is not big.
True
1
proof
[(triple2)]
("Charlie" "is" "big" "-")
triple2
Fiona is not round.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "round" "-")
triple3
Charlie is not cold.
Unknown
inv-rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "cold" "-")
Bob is quiet.
Unknown
random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "+")
@0: Bob is young.[(triple1)] Charlie is not big.[(triple2)] Fiona is round.[(triple3)] @1: Bob is not round.[(((triple1) -> rule2))] Fiona is cold.[(((triple3) -> rule1))] @2: Fiona is not quiet.[(((((triple3) -> rule1)) -> rule4))]
Bob is young.
("Bob" "is" "young" "+")
triple1
Charlie is not big.
("Charlie" "is" "big" "-")
triple2
Fiona is round.
("Fiona" "is" "round" "+")
triple3
Bob is not round.
("Bob" "is" "round" "-")
((triple1) -> (rule2 % int1))
Bob is not round.
("Bob" "is" "round" "-")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple3) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
((((triple3) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2