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