Anne is not cold. Bob is white. Charlie is white. Fiona is cold. Young people are smart. Big, young people are not cold. If Charlie is white then Charlie is not smart. If someone is cold then they are nice. If Anne is not kind then Anne is not big. Big people are not white.
Anne is not cold.
("Anne" "is" "cold" "-")
Bob is white.
("Bob" "is" "white" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Young people are smart.
((("someone" "is" "young" "+")) -> ("someone" "is" "smart" "+"))
Big, young people are not cold.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "-"))
If Charlie is white then Charlie is not smart.
((("Charlie" "is" "white" "+")) -> ("Charlie" "is" "smart" "-"))
If someone is cold then they are nice.
((("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If Anne is not kind then Anne is not big.
((("Anne" "is" "kind" "~")) -> ("Anne" "is" "big" "-"))
Big people are not white.
((("someone" "is" "big" "+")) -> ("someone" "is" "white" "-"))
Anne is not cold.
True
1
proof
[(triple1)]
("Anne" "is" "cold" "-")
triple1
Anne is cold.
False
1
inv-proof
[(triple1)]
("Anne" "is" "cold" "+")
triple1
Charlie is not smart.
True
2
proof
[(((triple3) -> rule3))]
("Charlie" "is" "smart" "-")
((triple3) -> (rule3 % int1))
Charlie is not smart.
("Charlie" "is" "smart" "-")
int1
Charlie is smart.
False
2
inv-proof
[(((triple3) -> rule3))]
("Charlie" "is" "smart" "+")
((triple3) -> (rule3 % int1))
Charlie is not smart.
("Charlie" "is" "smart" "-")
int1
Bob is not smart.
Unknown
inv-rconc
[@1: Bob is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "smart" "-")
Anne is smart.
Unknown
rconc
[@1: Anne is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "smart" "+")
Anne is not big.
Unknown
inv-random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "-")
Anne is white.
Unknown
random
[@0: Anne is white.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "white" "+")
@0: Anne is not cold.[(triple1)] Bob is white.[(triple2)] Charlie is white.[(triple3)] Fiona is cold.[(triple4)] @1: Charlie is not smart.[(((triple3) -> rule3))] Fiona is nice.[(((triple4) -> rule4))]
Anne is not cold.
("Anne" "is" "cold" "-")
triple1
Bob is white.
("Bob" "is" "white" "+")
triple2
Charlie is white.
("Charlie" "is" "white" "+")
triple3
Fiona is cold.
("Fiona" "is" "cold" "+")
triple4
Charlie is not smart.
("Charlie" "is" "smart" "-")
((triple3) -> (rule3 % int1))
Charlie is not smart.
("Charlie" "is" "smart" "-")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple4) -> (rule4 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1