Bob is green. Erin is big. Erin is blue. Erin is cold. Erin is furry. Erin is green. Erin is quiet. Fiona is cold. Fiona is furry. Fiona is green. Fiona is quiet. Harry is green. Green people are cold. All cold, quiet people are blue.
Bob is green.
("Bob" "is" "green" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Harry is green.
("Harry" "is" "green" "+")
Green people are cold.
((("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
All cold, quiet people are blue.
((("someone" "is" "cold" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "blue" "+"))
Fiona is furry.
True
1
proof
[(triple9)]
("Fiona" "is" "furry" "+")
triple9
Fiona is not green.
False
1
inv-proof
[(triple10)]
("Fiona" "is" "green" "-")
triple10
Fiona is blue.
True
3
proof
[(((triple8 triple11) -> rule2) OR ((((triple10) -> rule1) triple11) -> rule2))]
("Fiona" "is" "blue" "+")
((triple8 triple11) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((((triple10) -> (rule1 % int2)) triple11) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is not blue.
False
3
inv-proof
[(((triple8 triple11) -> rule2) OR ((((triple10) -> rule1) triple11) -> rule2))]
("Fiona" "is" "blue" "-")
((triple8 triple11) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((((triple10) -> (rule1 % int2)) triple11) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Harry is not blue.
Unknown
inv-rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "blue" "-")
Bob is blue.
Unknown
rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "blue" "+")
Bob is not big.
Unknown
inv-random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "-")
Fiona is big.
Unknown
random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "+")
@0: Bob is green.[(triple1)] Erin is big.[(triple2)] Erin is blue.[(triple3 OR ((triple4 triple7) -> rule2) OR ((((triple6) -> rule1) triple7) -> rule2))] Erin is cold.[(triple4 OR ((triple6) -> rule1))] Erin is furry.[(triple5)] Erin is green.[(triple6)] Erin is quiet.[(triple7)] Fiona is cold.[(triple8 OR ((triple10) -> rule1))] Fiona is furry.[(triple9)] Fiona is green.[(triple10)] Fiona is quiet.[(triple11)] Harry is green.[(triple12)] @1: Bob is cold.[(((triple1) -> rule1))] Fiona is blue.[(((triple8 triple11) -> rule2) OR ((((triple10) -> rule1) triple11) -> rule2))] Harry is cold.[(((triple12) -> rule1))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Erin is big.
("Erin" "is" "big" "+")
triple2
Erin is blue.
("Erin" "is" "blue" "+")
triple3
((triple4 triple7) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
((((triple6) -> (rule1 % int2)) triple7) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
triple4
((triple6) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
triple5
Erin is green.
("Erin" "is" "green" "+")
triple6
Erin is quiet.
("Erin" "is" "quiet" "+")
triple7
Fiona is cold.
("Fiona" "is" "cold" "+")
triple8
((triple10) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple9
Fiona is green.
("Fiona" "is" "green" "+")
triple10
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple11
Harry is green.
("Harry" "is" "green" "+")
triple12
Bob is cold.
("Bob" "is" "cold" "+")
((triple1) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple8 triple11) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((((triple10) -> (rule1 % int2)) triple11) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
((triple12) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1