Bob is furry. Erin is furry. Erin is smart. Fiona is cold. Fiona is furry. Fiona is round. Gary is cold. Gary is furry. Gary is kind. Gary is round. All blue, smart things are furry. Blue things are smart. If Bob is round and Bob is kind then Bob is furry. If something is blue and cold then it is round. If Bob is blue then Bob is kind. Furry things are kind. All young, round things are smart. All cold things are young.
Bob is furry.
("Bob" "is" "furry" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is round.
("Gary" "is" "round" "+")
All blue, smart things are furry.
((("something" "is" "blue" "+") ("something" "is" "smart" "+")) -> ("something" "is" "furry" "+"))
Blue things are smart.
((("something" "is" "blue" "+")) -> ("something" "is" "smart" "+"))
If Bob is round and Bob is kind then Bob is furry.
((("Bob" "is" "round" "+") ("Bob" "is" "kind" "+")) -> ("Bob" "is" "furry" "+"))
If something is blue and cold then it is round.
((("something" "is" "blue" "+") ("something" "is" "cold" "+")) -> ("something" "is" "round" "+"))
If Bob is blue then Bob is kind.
((("Bob" "is" "blue" "+")) -> ("Bob" "is" "kind" "+"))
Furry things are kind.
((("something" "is" "furry" "+")) -> ("something" "is" "kind" "+"))
All young, round things are smart.
((("something" "is" "young" "+") ("something" "is" "round" "+")) -> ("something" "is" "smart" "+"))
All cold things are young.
((("something" "is" "cold" "+")) -> ("something" "is" "young" "+"))
Fiona is cold.
True
1
proof
[(triple4)]
("Fiona" "is" "cold" "+")
triple4
Fiona is not round.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "round" "-")
triple6
Erin is kind.
True
2
proof
[(((triple2) -> rule6))]
("Erin" "is" "kind" "+")
((triple2) -> (rule6 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Fiona is not young.
False
2
inv-proof
[(((triple4) -> rule8))]
("Fiona" "is" "young" "-")
((triple4) -> (rule8 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Bob is not young.
Unknown
inv-rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Bob" "is" "young" "-")
Bob is round.
Unknown
rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "round" "+")
Erin is not blue.
Unknown
inv-random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Bob is furry.[(triple1)] Erin is furry.[(triple2)] Erin is smart.[(triple3)] Fiona is cold.[(triple4)] Fiona is furry.[(triple5)] Fiona is round.[(triple6)] Gary is cold.[(triple7)] Gary is furry.[(triple8)] Gary is kind.[(triple9 OR ((triple8) -> rule6))] Gary is round.[(triple10)] @1: Bob is kind.[(((triple1) -> rule6))] Erin is kind.[(((triple2) -> rule6))] Fiona is kind.[(((triple5) -> rule6))] Fiona is young.[(((triple4) -> rule8))] Gary is young.[(((triple7) -> rule8))] @2: Fiona is smart.[(((((triple4) -> rule8) triple6) -> rule7))] Gary is smart.[(((((triple7) -> rule8) triple10) -> rule7))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Erin is furry.
("Erin" "is" "furry" "+")
triple2
Erin is smart.
("Erin" "is" "smart" "+")
triple3
Fiona is cold.
("Fiona" "is" "cold" "+")
triple4
Fiona is furry.
("Fiona" "is" "furry" "+")
triple5
Fiona is round.
("Fiona" "is" "round" "+")
triple6
Gary is cold.
("Gary" "is" "cold" "+")
triple7
Gary is furry.
("Gary" "is" "furry" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
triple9
((triple8) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
triple10
Bob is kind.
("Bob" "is" "kind" "+")
((triple1) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
((triple2) -> (rule6 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple5) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((triple4) -> (rule8 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple7) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
((((triple4) -> (rule8 % int2)) triple6) -> (rule7 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
((((triple7) -> (rule8 % int2)) triple10) -> (rule7 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2