Bob is green. Bob is nice. Bob is smart. Fiona is nice. Fiona is red. Fiona is smart. Fiona is young. Gary is furry. Gary is green. Harry is cold. Harry is furry. Harry is nice. Harry is red. Harry is smart. Harry is young. All young, green people are smart. If someone is young then they are green. Cold people are furry.
Bob is green.
("Bob" "is" "green" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is young.
("Harry" "is" "young" "+")
All young, green people are smart.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "smart" "+"))
If someone is young then they are green.
((("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
Cold people are furry.
((("someone" "is" "cold" "+")) -> ("someone" "is" "furry" "+"))
Gary is furry.
True
1
proof
[(triple8)]
("Gary" "is" "furry" "+")
triple8
Harry is not red.
False
1
inv-proof
[(triple13)]
("Harry" "is" "red" "-")
triple13
Fiona is green.
True
2
proof
[(((triple7) -> rule2))]
("Fiona" "is" "green" "+")
((triple7) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Harry is not green.
False
2
inv-proof
[(((triple15) -> rule2))]
("Harry" "is" "green" "-")
((triple15) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Bob is not furry.
Unknown
inv-rconc
[@1: Bob is furry.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "furry" "-")
Fiona is furry.
Unknown
rconc
[@1: Fiona is furry.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "furry" "+")
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
@0: Bob is green.[(triple1)] Bob is nice.[(triple2)] Bob is smart.[(triple3)] Fiona is nice.[(triple4)] Fiona is red.[(triple5)] Fiona is smart.[(triple6 OR ((triple7 ((triple7) -> rule2)) -> rule1))] Fiona is young.[(triple7)] Gary is furry.[(triple8)] Gary is green.[(triple9)] Harry is cold.[(triple10)] Harry is furry.[(triple11 OR ((triple10) -> rule3))] Harry is nice.[(triple12)] Harry is red.[(triple13)] Harry is smart.[(triple14 OR ((triple15 ((triple15) -> rule2)) -> rule1))] Harry is young.[(triple15)] @1: Fiona is green.[(((triple7) -> rule2))] Harry is green.[(((triple15) -> rule2))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is smart.
("Bob" "is" "smart" "+")
triple3
Fiona is nice.
("Fiona" "is" "nice" "+")
triple4
Fiona is red.
("Fiona" "is" "red" "+")
triple5
Fiona is smart.
("Fiona" "is" "smart" "+")
triple6
((triple7 ((triple7) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
triple7
Gary is furry.
("Gary" "is" "furry" "+")
triple8
Gary is green.
("Gary" "is" "green" "+")
triple9
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Harry is furry.
("Harry" "is" "furry" "+")
triple11
((triple10) -> (rule3 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
triple12
Harry is red.
("Harry" "is" "red" "+")
triple13
Harry is smart.
("Harry" "is" "smart" "+")
triple14
((triple15 ((triple15) -> (rule2 % int2))) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
triple15
Fiona is green.
("Fiona" "is" "green" "+")
((triple7) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
((triple15) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1