Bob is big. Bob is furry. Bob is green. Charlie is cold. Charlie is furry. Charlie is nice. Charlie is smart. Charlie is young. Fiona is big. Fiona is furry. Fiona is nice. Fiona is smart. If something is young then it is green. Green things are big.
Bob is big.
("Bob" "is" "big" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
If something is young then it is green.
((("something" "is" "young" "+")) -> ("something" "is" "green" "+"))
Green things are big.
((("something" "is" "green" "+")) -> ("something" "is" "big" "+"))
Bob is furry.
True
1
proof
[(triple2)]
("Bob" "is" "furry" "+")
triple2
Fiona is not furry.
False
1
inv-proof
[(triple10)]
("Fiona" "is" "furry" "-")
triple10
Charlie is green.
True
2
proof
[(((triple8) -> rule1))]
("Charlie" "is" "green" "+")
((triple8) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is not green.
False
2
inv-proof
[(((triple8) -> rule1))]
("Charlie" "is" "green" "-")
((triple8) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is big.
True
3
proof
[(((((triple8) -> rule1)) -> rule2))]
("Charlie" "is" "big" "+")
((((triple8) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is not big.
False
3
inv-proof
[(((((triple8) -> rule1)) -> rule2))]
("Charlie" "is" "big" "-")
((((triple8) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Fiona is not green.
Unknown
inv-rconc
[@1: Fiona is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "green" "-")
Bob is smart.
Unknown
random
[@0: Bob is smart.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "smart" "+")
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
Fiona is not cold.
Unknown
inv-random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
@0: Bob is big.[(triple1 OR ((triple3) -> rule2))] Bob is furry.[(triple2)] Bob is green.[(triple3)] Charlie is cold.[(triple4)] Charlie is furry.[(triple5)] Charlie is nice.[(triple6)] Charlie is smart.[(triple7)] Charlie is young.[(triple8)] Fiona is big.[(triple9)] Fiona is furry.[(triple10)] Fiona is nice.[(triple11)] Fiona is smart.[(triple12)] @1: Charlie is green.[(((triple8) -> rule1))] @2: Charlie is big.[(((((triple8) -> rule1)) -> rule2))]
Bob is big.
("Bob" "is" "big" "+")
triple1
((triple3) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is green.
("Bob" "is" "green" "+")
triple3
Charlie is cold.
("Charlie" "is" "cold" "+")
triple4
Charlie is furry.
("Charlie" "is" "furry" "+")
triple5
Charlie is nice.
("Charlie" "is" "nice" "+")
triple6
Charlie is smart.
("Charlie" "is" "smart" "+")
triple7
Charlie is young.
("Charlie" "is" "young" "+")
triple8
Fiona is big.
("Fiona" "is" "big" "+")
triple9
Fiona is furry.
("Fiona" "is" "furry" "+")
triple10
Fiona is nice.
("Fiona" "is" "nice" "+")
triple11
Fiona is smart.
("Fiona" "is" "smart" "+")
triple12
Charlie is green.
("Charlie" "is" "green" "+")
((triple8) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
((((triple8) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2