Charlie is blue. Charlie is cold. Fiona is big. Fiona is blue. Fiona is cold. Fiona is not furry. Fiona is green. Fiona is nice. Fiona is rough. Gary is cold. Gary is not furry. Harry is blue. Green people are cold. If someone is blue then they are cold. If someone is blue and not furry then they are green.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is not furry.
("Fiona" "is" "furry" "-")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is not furry.
("Gary" "is" "furry" "-")
Harry is blue.
("Harry" "is" "blue" "+")
Green people are cold.
((("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue then they are cold.
((("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and not furry then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "green" "+"))
Charlie is blue.
True
1
proof
[(triple1)]
("Charlie" "is" "blue" "+")
triple1
Fiona is furry.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "furry" "+")
triple6
Harry is cold.
True
2
proof
[(((triple12) -> rule2))]
("Harry" "is" "cold" "+")
((triple12) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is not cold.
False
2
inv-proof
[(((triple12) -> rule2))]
("Harry" "is" "cold" "-")
((triple12) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Gary is not green.
Unknown
inv-rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "green" "-")
Charlie is green.
Unknown
rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "green" "+")
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2 OR ((triple1) -> rule2))] Fiona is big.[(triple3)] Fiona is blue.[(triple4)] Fiona is cold.[(triple5 OR ((triple4) -> rule2) OR ((triple7) -> rule1) OR ((((triple4 triple6) -> rule3)) -> rule1))] Fiona is green.[(triple7 OR ((triple4 triple6) -> rule3))] Fiona is nice.[(triple8)] Fiona is not furry.[(triple6)] Fiona is rough.[(triple9)] Gary is cold.[(triple10)] Gary is not furry.[(triple11)] Harry is blue.[(triple12)] @1: Harry is cold.[(((triple12) -> rule2))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
((triple1) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
triple3
Fiona is blue.
("Fiona" "is" "blue" "+")
triple4
Fiona is cold.
("Fiona" "is" "cold" "+")
triple5
((triple4) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
((triple7) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
((((triple4 triple6) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
triple7
((triple4 triple6) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple8
Fiona is not furry.
("Fiona" "is" "furry" "-")
triple6
Fiona is rough.
("Fiona" "is" "rough" "+")
triple9
Gary is cold.
("Gary" "is" "cold" "+")
triple10
Gary is not furry.
("Gary" "is" "furry" "-")
triple11
Harry is blue.
("Harry" "is" "blue" "+")
triple12
Harry is cold.
("Harry" "is" "cold" "+")
((triple12) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1