Erin is smart. Fiona is furry. Gary is nice. Harry is cold. If Gary is round then Gary is furry. All nice things are round. Green things are round. Furry, red things are smart. All furry things are round. All smart, nice things are red.
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If Gary is round then Gary is furry.
((("Gary" "is" "round" "+")) -> ("Gary" "is" "furry" "+"))
All nice things are round.
((("something" "is" "nice" "+")) -> ("something" "is" "round" "+"))
Green things are round.
((("something" "is" "green" "+")) -> ("something" "is" "round" "+"))
Furry, red things are smart.
((("something" "is" "furry" "+") ("something" "is" "red" "+")) -> ("something" "is" "smart" "+"))
All furry things are round.
((("something" "is" "furry" "+")) -> ("something" "is" "round" "+"))
All smart, nice things are red.
((("something" "is" "smart" "+") ("something" "is" "nice" "+")) -> ("something" "is" "red" "+"))
Harry is cold.
True
1
proof
[(triple4)]
("Harry" "is" "cold" "+")
triple4
Erin is not smart.
False
1
inv-proof
[(triple1)]
("Erin" "is" "smart" "-")
triple1
Fiona is round.
True
2
proof
[(((triple2) -> rule5))]
("Fiona" "is" "round" "+")
((triple2) -> (rule5 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Gary is not round.
False
2
inv-proof
[(((triple3) -> rule2))]
("Gary" "is" "round" "-")
((triple3) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Harry is not round.
Unknown
inv-rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "round" "-")
Fiona is red.
Unknown
rconc
[@1: Fiona is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fiona" "is" "red" "+")
Harry is not furry.
Unknown
inv-random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "-")
Erin is furry.
Unknown
random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "+")
@0: Erin is smart.[(triple1)] Fiona is furry.[(triple2)] Gary is nice.[(triple3)] Harry is cold.[(triple4)] @1: Fiona is round.[(((triple2) -> rule5))] Gary is round.[(((triple3) -> rule2))] @2: Gary is furry.[(((((triple3) -> rule2)) -> rule1))]
Erin is smart.
("Erin" "is" "smart" "+")
triple1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple2
Gary is nice.
("Gary" "is" "nice" "+")
triple3
Harry is cold.
("Harry" "is" "cold" "+")
triple4
Fiona is round.
("Fiona" "is" "round" "+")
((triple2) -> (rule5 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
((triple3) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
((((triple3) -> (rule2 % int2))) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2