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