Charlie is nice. Fiona is quiet. Gary is blue. If someone is blue and white then they are quiet. All nice, big people are quiet. If Fiona is smart then Fiona is quiet. Quiet, cold people are big. All smart, blue people are cold. Blue people are smart.
Charlie is nice.
("Charlie" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is blue and white then they are quiet.
((("someone" "is" "blue" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "quiet" "+"))
All nice, big people are quiet.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "quiet" "+"))
If Fiona is smart then Fiona is quiet.
((("Fiona" "is" "smart" "+")) -> ("Fiona" "is" "quiet" "+"))
Quiet, cold people are big.
((("someone" "is" "quiet" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
All smart, blue people are cold.
((("someone" "is" "smart" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
Blue people are smart.
((("someone" "is" "blue" "+")) -> ("someone" "is" "smart" "+"))
Fiona is quiet.
True
1
proof
[(triple2)]
("Fiona" "is" "quiet" "+")
triple2
Fiona is not quiet.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "quiet" "-")
triple2
Gary is smart.
True
2
proof
[(((triple3) -> rule6))]
("Gary" "is" "smart" "+")
((triple3) -> (rule6 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is not smart.
False
2
inv-proof
[(((triple3) -> rule6))]
("Gary" "is" "smart" "-")
((triple3) -> (rule6 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Fiona is not cold.
Unknown
inv-rconc
[@1: Fiona is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fiona" "is" "cold" "-")
Gary is big.
Unknown
rconc
[@2: Gary is big.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("Gary" "is" "big" "+")
Charlie is not blue.
Unknown
inv-random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "-")
Gary is white.
Unknown
random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "+")
@0: Charlie is nice.[(triple1)] Fiona is quiet.[(triple2)] Gary is blue.[(triple3)] @1: Gary is smart.[(((triple3) -> rule6))] @2: Gary is cold.[(((((triple3) -> rule6) triple3) -> rule5))]
Charlie is nice.
("Charlie" "is" "nice" "+")
triple1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple2
Gary is blue.
("Gary" "is" "blue" "+")
triple3
Gary is smart.
("Gary" "is" "smart" "+")
((triple3) -> (rule6 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((((triple3) -> (rule6 % int2)) triple3) -> (rule5 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2