Charlie is cold. Charlie is not kind. Charlie is quiet. Charlie is red. Fiona is not nice. Fiona is red. Gary is nice. Gary is quiet. Gary is red. Gary is young. Cold people are not nice. If someone is nice then they are quiet. If Charlie is young then Charlie is not red. All big, cold people are young. If Charlie is young and Charlie is not quiet then Charlie is kind. If someone is quiet and not young then they are kind.
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is not kind.
("Charlie" "is" "kind" "-")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Fiona is not nice.
("Fiona" "is" "nice" "-")
Fiona is red.
("Fiona" "is" "red" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is young.
("Gary" "is" "young" "+")
Cold people are not nice.
((("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "-"))
If someone is nice then they are quiet.
((("someone" "is" "nice" "+")) -> ("someone" "is" "quiet" "+"))
If Charlie is young then Charlie is not red.
((("Charlie" "is" "young" "+")) -> ("Charlie" "is" "red" "-"))
All big, cold people are young.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If Charlie is young and Charlie is not quiet then Charlie is kind.
((("Charlie" "is" "young" "+") ("Charlie" "is" "quiet" "~")) -> ("Charlie" "is" "kind" "+"))
If someone is quiet and not young then they are kind.
((("someone" "is" "quiet" "+") ("someone" "is" "young" "~")) -> ("someone" "is" "kind" "+"))
Fiona is red.
True
1
proof
[(triple6)]
("Fiona" "is" "red" "+")
triple6
Fiona is nice.
False
1
inv-proof
[(triple5)]
("Fiona" "is" "nice" "+")
triple5
Charlie is not nice.
True
2
proof
[(((triple1) -> rule1))]
("Charlie" "is" "nice" "-")
((triple1) -> (rule1 % int1))
Charlie is not nice.
("Charlie" "is" "nice" "-")
int1
Charlie is nice.
False
2
inv-proof
[(((triple1) -> rule1))]
("Charlie" "is" "nice" "+")
((triple1) -> (rule1 % int1))
Charlie is not nice.
("Charlie" "is" "nice" "-")
int1
Fiona is not young.
Unknown
inv-rconc
[@1: Fiona is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fiona" "is" "young" "-")
Fiona is quiet.
Unknown
rconc
[@1: Fiona is quiet.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "quiet" "+")
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Fiona is big.
Unknown
random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "+")
@0: Charlie is cold.[(triple1)] Charlie is not kind.[(triple2)] Charlie is quiet.[(triple3)] Charlie is red.[(triple4)] Fiona is not nice.[(triple5)] Fiona is red.[(triple6)] Gary is nice.[(triple7)] Gary is quiet.[(triple8 OR ((triple7) -> rule2))] Gary is red.[(triple9)] Gary is young.[(triple10)] @1: Charlie is not nice.[(((triple1) -> rule1))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
Charlie is not kind.
("Charlie" "is" "kind" "-")
triple2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple3
Charlie is red.
("Charlie" "is" "red" "+")
triple4
Fiona is not nice.
("Fiona" "is" "nice" "-")
triple5
Fiona is red.
("Fiona" "is" "red" "+")
triple6
Gary is nice.
("Gary" "is" "nice" "+")
triple7
Gary is quiet.
("Gary" "is" "quiet" "+")
triple8
((triple7) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple10
Charlie is not nice.
("Charlie" "is" "nice" "-")
((triple1) -> (rule1 % int1))
Charlie is not nice.
("Charlie" "is" "nice" "-")
int1