Charlie is smart. Fiona is cold. Young people are cold. All white people are smart. If Fiona is young then Fiona is nice. All smart people are nice. If someone is nice and cold then they are young. If Charlie is cold then Charlie is white. If someone is young then they are smart. All white people are cold.
Charlie is smart.
("Charlie" "is" "smart" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Young people are cold.
((("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
All white people are smart.
((("someone" "is" "white" "+")) -> ("someone" "is" "smart" "+"))
If Fiona is young then Fiona is nice.
((("Fiona" "is" "young" "+")) -> ("Fiona" "is" "nice" "+"))
All smart people are nice.
((("someone" "is" "smart" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and cold then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If Charlie is cold then Charlie is white.
((("Charlie" "is" "cold" "+")) -> ("Charlie" "is" "white" "+"))
If someone is young then they are smart.
((("someone" "is" "young" "+")) -> ("someone" "is" "smart" "+"))
All white people are cold.
((("someone" "is" "white" "+")) -> ("someone" "is" "cold" "+"))
Fiona is cold.
True
1
proof
[(triple2)]
("Fiona" "is" "cold" "+")
triple2
Charlie is not smart.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "smart" "-")
triple1
Charlie is nice.
True
2
proof
[(((triple1) -> rule4))]
("Charlie" "is" "nice" "+")
((triple1) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is not nice.
False
2
inv-proof
[(((triple1) -> rule4))]
("Charlie" "is" "nice" "-")
((triple1) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is not cold.
Unknown
inv-rconc
[@4: Charlie is cold.[CWA. Example of deepest failure = (rule1 <- rule5 <- rule8 <- rule6 <- FAIL)]]
("Charlie" "is" "cold" "-")
Fiona is young.
Unknown
rconc
[@3: Fiona is young.[CWA. Example of deepest failure = (rule5 <- rule4 <- rule2 <- FAIL)]]
("Fiona" "is" "young" "+")
Fiona is not furry.
Unknown
inv-random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "-")
Charlie is furry.
Unknown
random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "+")
@0: Charlie is smart.[(triple1)] Fiona is cold.[(triple2)] @1: Charlie is nice.[(((triple1) -> rule4))]
Charlie is smart.
("Charlie" "is" "smart" "+")
triple1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple2
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple1) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1