Charlie is cold. Charlie is not furry. Charlie is kind. Charlie is quiet. Charlie is young. Fiona is cold. Fiona is nice. Fiona is smart. Gary is kind. Gary is nice. Gary is smart. Gary is young. If Fiona is kind then Fiona is young. If Charlie is nice and Charlie is not young then Charlie is furry. All furry people are quiet.
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is not furry.
("Charlie" "is" "furry" "-")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is young.
("Gary" "is" "young" "+")
If Fiona is kind then Fiona is young.
((("Fiona" "is" "kind" "+")) -> ("Fiona" "is" "young" "+"))
If Charlie is nice and Charlie is not young then Charlie is furry.
((("Charlie" "is" "nice" "+") ("Charlie" "is" "young" "~")) -> ("Charlie" "is" "furry" "+"))
All furry people are quiet.
((("someone" "is" "furry" "+")) -> ("someone" "is" "quiet" "+"))
Charlie is quiet.
True
1
proof
[(triple4)]
("Charlie" "is" "quiet" "+")
triple4
Charlie is furry.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "furry" "+")
triple2
Fiona is not quiet.
Unknown
inv-rconc
[@1: Fiona is quiet.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "quiet" "-")
Charlie is smart.
Unknown
random
[@0: Charlie is smart.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "smart" "+")
@0: Charlie is cold.[(triple1)] Charlie is kind.[(triple3)] Charlie is not furry.[(triple2)] Charlie is quiet.[(triple4)] Charlie is young.[(triple5)] Fiona is cold.[(triple6)] Fiona is nice.[(triple7)] Fiona is smart.[(triple8)] Gary is kind.[(triple9)] Gary is nice.[(triple10)] Gary is smart.[(triple11)] Gary is young.[(triple12)]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
Charlie is not furry.
("Charlie" "is" "furry" "-")
triple2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple4
Charlie is young.
("Charlie" "is" "young" "+")
triple5
Fiona is cold.
("Fiona" "is" "cold" "+")
triple6
Fiona is nice.
("Fiona" "is" "nice" "+")
triple7
Fiona is smart.
("Fiona" "is" "smart" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is nice.
("Gary" "is" "nice" "+")
triple10
Gary is smart.
("Gary" "is" "smart" "+")
triple11
Gary is young.
("Gary" "is" "young" "+")
triple12