Charlie is blue. Charlie is kind. Charlie is nice. Charlie is white. Charlie is young. Fiona is blue. Fiona is not kind. Fiona is nice. Fiona is rough. Fiona is young. If Fiona is not nice then Fiona is blue. If Fiona is nice then Fiona is rough. If something is blue and white then it is cold.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is not kind.
("Fiona" "is" "kind" "-")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If Fiona is not nice then Fiona is blue.
((("Fiona" "is" "nice" "~")) -> ("Fiona" "is" "blue" "+"))
If Fiona is nice then Fiona is rough.
((("Fiona" "is" "nice" "+")) -> ("Fiona" "is" "rough" "+"))
If something is blue and white then it is cold.
((("something" "is" "blue" "+") ("something" "is" "white" "+")) -> ("something" "is" "cold" "+"))
Fiona is nice.
True
1
proof
[(triple8)]
("Fiona" "is" "nice" "+")
triple8
Fiona is not rough.
False
1
inv-proof
[(triple9 OR ((triple8) -> rule2))]
("Fiona" "is" "rough" "-")
triple9
((triple8) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Charlie is cold.
True
3
proof
[(((triple1 triple4) -> rule3))]
("Charlie" "is" "cold" "+")
((triple1 triple4) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is not cold.
False
3
inv-proof
[(((triple1 triple4) -> rule3))]
("Charlie" "is" "cold" "-")
((triple1 triple4) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Fiona is not cold.
Unknown
inv-rconc
[@1: Fiona is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "cold" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
@0: Charlie is blue.[(triple1)] Charlie is kind.[(triple2)] Charlie is nice.[(triple3)] Charlie is white.[(triple4)] Charlie is young.[(triple5)] Fiona is blue.[(triple6)] Fiona is nice.[(triple8)] Fiona is not kind.[(triple7)] Fiona is rough.[(triple9 OR ((triple8) -> rule2))] Fiona is young.[(triple10)] @1: Charlie is cold.[(((triple1 triple4) -> rule3))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Charlie is white.
("Charlie" "is" "white" "+")
triple4
Charlie is young.
("Charlie" "is" "young" "+")
triple5
Fiona is blue.
("Fiona" "is" "blue" "+")
triple6
Fiona is nice.
("Fiona" "is" "nice" "+")
triple8
Fiona is not kind.
("Fiona" "is" "kind" "-")
triple7
Fiona is rough.
("Fiona" "is" "rough" "+")
triple9
((triple8) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
triple10
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple1 triple4) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1