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