Bob is kind. Bob is rough. Bob is smart. Charlie is cold. Charlie is furry. Charlie is kind. Fiona is rough. Gary is blue. Gary is kind. Gary is rough. Kind, furry things are red.
Bob is kind.
("Bob" "is" "kind" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Kind, furry things are red.
((("something" "is" "kind" "+") ("something" "is" "furry" "+")) -> ("something" "is" "red" "+"))
Charlie is kind.
True
1
proof
[(triple6)]
("Charlie" "is" "kind" "+")
triple6
Bob is not smart.
False
1
inv-proof
[(triple3)]
("Bob" "is" "smart" "-")
triple3
Charlie is red.
True
3
proof
[(((triple6 triple5) -> rule1))]
("Charlie" "is" "red" "+")
((triple6 triple5) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is not red.
False
3
inv-proof
[(((triple6 triple5) -> rule1))]
("Charlie" "is" "red" "-")
((triple6 triple5) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Fiona is not red.
Unknown
inv-rconc
[@1: Fiona is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "red" "-")
Bob is red.
Unknown
rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "red" "+")
Gary is not furry.
Unknown
inv-random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
@0: Bob is kind.[(triple1)] Bob is rough.[(triple2)] Bob is smart.[(triple3)] Charlie is cold.[(triple4)] Charlie is furry.[(triple5)] Charlie is kind.[(triple6)] Fiona is rough.[(triple7)] Gary is blue.[(triple8)] Gary is kind.[(triple9)] Gary is rough.[(triple10)] @1: Charlie is red.[(((triple6 triple5) -> rule1))]
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is smart.
("Bob" "is" "smart" "+")
triple3
Charlie is cold.
("Charlie" "is" "cold" "+")
triple4
Charlie is furry.
("Charlie" "is" "furry" "+")
triple5
Charlie is kind.
("Charlie" "is" "kind" "+")
triple6
Fiona is rough.
("Fiona" "is" "rough" "+")
triple7
Gary is blue.
("Gary" "is" "blue" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is rough.
("Gary" "is" "rough" "+")
triple10
Charlie is red.
("Charlie" "is" "red" "+")
((triple6 triple5) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1