Bob is blue. Bob is furry. Bob is kind. Charlie is cold. Charlie is furry. Charlie is kind. Charlie is quiet. Fiona is blue. Fiona is furry. Fiona is quiet. Fiona is smart. Gary is blue. Gary is cold. Gary is furry. Gary is quiet. If Charlie is rough and Charlie is blue then Charlie is kind. If something is quiet then it is smart. If something is blue and quiet then it is kind.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
If Charlie is rough and Charlie is blue then Charlie is kind.
((("Charlie" "is" "rough" "+") ("Charlie" "is" "blue" "+")) -> ("Charlie" "is" "kind" "+"))
If something is quiet then it is smart.
((("something" "is" "quiet" "+")) -> ("something" "is" "smart" "+"))
If something is blue and quiet then it is kind.
((("something" "is" "blue" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "kind" "+"))
Fiona is blue.
True
1
proof
[(triple8)]
("Fiona" "is" "blue" "+")
triple8
Bob is not furry.
False
1
inv-proof
[(triple2)]
("Bob" "is" "furry" "-")
triple2
Fiona is kind.
True
3
proof
[(((triple8 triple10) -> rule3))]
("Fiona" "is" "kind" "+")
((triple8 triple10) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Charlie is not smart.
False
2
inv-proof
[(((triple7) -> rule2))]
("Charlie" "is" "smart" "-")
((triple7) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Bob is not smart.
Unknown
inv-rconc
[@1: Bob is smart.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "smart" "-")
Fiona is cold.
Unknown
random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "+")
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2)] Bob is kind.[(triple3)] Charlie is cold.[(triple4)] Charlie is furry.[(triple5)] Charlie is kind.[(triple6)] Charlie is quiet.[(triple7)] Fiona is blue.[(triple8)] Fiona is furry.[(triple9)] Fiona is quiet.[(triple10)] Fiona is smart.[(triple11 OR ((triple10) -> rule2))] Gary is blue.[(triple12)] Gary is cold.[(triple13)] Gary is furry.[(triple14)] Gary is quiet.[(triple15)] @1: Charlie is smart.[(((triple7) -> rule2))] Fiona is kind.[(((triple8 triple10) -> rule3))] Gary is kind.[(((triple12 triple15) -> rule3))] Gary is smart.[(((triple15) -> rule2))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Charlie is cold.
("Charlie" "is" "cold" "+")
triple4
Charlie is furry.
("Charlie" "is" "furry" "+")
triple5
Charlie is kind.
("Charlie" "is" "kind" "+")
triple6
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple7
Fiona is blue.
("Fiona" "is" "blue" "+")
triple8
Fiona is furry.
("Fiona" "is" "furry" "+")
triple9
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple10
Fiona is smart.
("Fiona" "is" "smart" "+")
triple11
((triple10) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
triple12
Gary is cold.
("Gary" "is" "cold" "+")
triple13
Gary is furry.
("Gary" "is" "furry" "+")
triple14
Gary is quiet.
("Gary" "is" "quiet" "+")
triple15
Charlie is smart.
("Charlie" "is" "smart" "+")
((triple7) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple8 triple10) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
((triple12 triple15) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
((triple15) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1