Erin is white. Fiona is green. Gary is nice. Harry is green. All smart people are round. If someone is furry and green then they are nice. Green people are furry.
Erin is white.
("Erin" "is" "white" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Harry is green.
("Harry" "is" "green" "+")
All smart people are round.
((("someone" "is" "smart" "+")) -> ("someone" "is" "round" "+"))
If someone is furry and green then they are nice.
((("someone" "is" "furry" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
Green people are furry.
((("someone" "is" "green" "+")) -> ("someone" "is" "furry" "+"))
Gary is nice.
True
1
proof
[(triple3)]
("Gary" "is" "nice" "+")
triple3
Gary is not nice.
False
1
inv-proof
[(triple3)]
("Gary" "is" "nice" "-")
triple3
Harry is furry.
True
2
proof
[(((triple4) -> rule3))]
("Harry" "is" "furry" "+")
((triple4) -> (rule3 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Fiona is not furry.
False
2
inv-proof
[(((triple2) -> rule3))]
("Fiona" "is" "furry" "-")
((triple2) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Gary is not furry.
Unknown
inv-rconc
[@1: Gary is furry.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "furry" "-")
Erin is nice.
Unknown
rconc
[@1: Erin is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "nice" "+")
Erin is not green.
Unknown
inv-random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "-")
Harry is white.
Unknown
random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "+")
@0: Erin is white.[(triple1)] Fiona is green.[(triple2)] Gary is nice.[(triple3)] Harry is green.[(triple4)] @1: Fiona is furry.[(((triple2) -> rule3))] Harry is furry.[(((triple4) -> rule3))] @2: Fiona is nice.[(((((triple2) -> rule3) triple2) -> rule2))] Harry is nice.[(((((triple4) -> rule3) triple4) -> rule2))]
Erin is white.
("Erin" "is" "white" "+")
triple1
Fiona is green.
("Fiona" "is" "green" "+")
triple2
Gary is nice.
("Gary" "is" "nice" "+")
triple3
Harry is green.
("Harry" "is" "green" "+")
triple4
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple2) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
((triple4) -> (rule3 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
((((triple2) -> (rule3 % int2)) triple2) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
((((triple4) -> (rule3 % int2)) triple4) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2