Charlie is cold. Charlie is quiet. Charlie is young. Fiona is nice. Fiona is quiet. Fiona is not red. Gary is cold. Gary is kind. Gary is nice. Gary is quiet. Gary is red. Gary is white. Gary is young. Harry is quiet. Harry is white. If someone is nice and young then they are red.
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is not red.
("Fiona" "is" "red" "-")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is white.
("Harry" "is" "white" "+")
If someone is nice and young then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
Charlie is cold.
True
1
proof
[(triple1)]
("Charlie" "is" "cold" "+")
triple1
Charlie is not cold.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "cold" "-")
triple1
Charlie is not red.
Unknown
inv-rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "red" "-")
Fiona is cold.
Unknown
random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "+")
@0: Charlie is cold.[(triple1)] Charlie is quiet.[(triple2)] Charlie is young.[(triple3)] Fiona is nice.[(triple4)] Fiona is not red.[(triple6)] Fiona is quiet.[(triple5)] Gary is cold.[(triple7)] Gary is kind.[(triple8)] Gary is nice.[(triple9)] Gary is quiet.[(triple10)] Gary is red.[(triple11 OR ((triple9 triple13) -> rule1))] Gary is white.[(triple12)] Gary is young.[(triple13)] Harry is quiet.[(triple14)] Harry is white.[(triple15)]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple3
Fiona is nice.
("Fiona" "is" "nice" "+")
triple4
Fiona is not red.
("Fiona" "is" "red" "-")
triple6
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple5
Gary is cold.
("Gary" "is" "cold" "+")
triple7
Gary is kind.
("Gary" "is" "kind" "+")
triple8
Gary is nice.
("Gary" "is" "nice" "+")
triple9
Gary is quiet.
("Gary" "is" "quiet" "+")
triple10
Gary is red.
("Gary" "is" "red" "+")
triple11
((triple9 triple13) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
triple12
Gary is young.
("Gary" "is" "young" "+")
triple13
Harry is quiet.
("Harry" "is" "quiet" "+")
triple14
Harry is white.
("Harry" "is" "white" "+")
triple15