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